منابع مشابه
Manip User ’ s Guide , Version 1 . 3 Ben L . Di
Sequent manipulations for an interactive prover such as PVS can be labor intensive. We provide an approach to tactic-based proving for improved interactive deduction in specialized domains. This approach has been mechanized by the Manip package of strategies (tactics) and support functions. Although it was designed originally to reduce the tedium of low-level arithmetic manipulation, many of it...
متن کاملUjian Online Mahasiswa Ilmu Komputer Berbasis Smartphone
Information technology influence higher education in various aspects, including education sector. This article discusses how smartphones facilitate online examination in computer science and information systems students. The research objective to be achieved by the researchers through the research, are as follows: 1) Utilizing smartphone as a media test online exam, 2) How to make use of social...
متن کاملDi-tert-butylchlorido(pyrrolidine-1-dithiocarboxylato-κ2 S,S′)tin(IV)
The title compound, [Sn(C(4)H(9))(2)(C(5)H(8)NS(2))Cl], contains two mol-ecules in the asymmetric unit, with similar conformations. In both mol-ecules, the Sn atom adopts a distorted trigonal-bipyramidal geometry arising from two C atoms, one Cl atom and two S atoms from the bidentate dithio-carbamate ligand, with one Sn-S bond much longer than the other. One C atom of the pyrrolidine ring is d...
متن کاملWhat ' s di erent with spiking neurons ?
In standard neural network models neurons are described in terms of mean ring rates, viz., an analog signal. Most real neurons, however, communicate by pulses. In this chapter the main diierences between spike coding and rate coding are described. The integrate-and-re model is studied as a simple model of a spiking neuron. Fast transients, synchrony, and coincidence detection are discussed as e...
متن کاملDi\v{s}imo: Anchoring Our Breath
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author. Co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proyeksi
سال: 1970
ISSN: 1907-8455
DOI: 10.30659/p.6.2.21-33